1. Computer-aided reasoning
پدیدآورنده : / edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer-aided design,Expert systems (Computer science)
رده :
QA
76
.
76
.
E95C665
2000
2. Computer-aided reasoning :
پدیدآورنده : edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided design.,Expert systems (Computer science)
رده :
QA76
.
76
.
E95
E358
2011
3. Computer-aided reasoning
پدیدآورنده : / edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Computer-aided design,Expert systems (Computer science)
رده :
QA
76
.
76
.
E95C665
2000
4. Pito
پدیدآورنده : / by J. Strother Moore
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Piton (Computer program language),Assembly languages (Electronic computers),FM9001 (Microprocessor)--Programming
رده :
QA
,
76
.
73
,.
P58
,
M66
,
1996
5. The Correctness problem in computer science
پدیدآورنده : edited by R. S. Boyer and J Strother Moore
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
